simplifying a radical with variables